Contributions à la génération de tests à base de contraintes. (Contributions to Constraint-Based Testing)

Automatic test data generation leads to identify input values on which a selected point in a procedure is ex ecuted This paper introduces a new method for this problem based on constraint solving techniques First we statically transform a procedure into a constraint system by using well known Static Single Assignment form and control dependencies Second we solve this system to check whether at least one feasible control ow path going through the selected point exists and to generate test data that correspond to one of these